Differentiation From First Principles